ar X iv : 0 80 9 . 24 94 v 3 [ m at h . L O ] 3 A pr 2 00 9 Coherence for Modalities
نویسنده
چکیده
Positive modalities in S4, S5 and systems in their vicinity are investigated in terms of categorial proof theory. Coherence and maximality results are demonstrated, and connections with mixed distributive laws and Frobenius algebras are exhibited. Mathematics Subject Classification (2000), Primary : 03B45, 03G30, 18C15, Secondary : 03F07, 03C05, 08C05, 18A15, 18A40, 18B10, 18C10, 18C20
منابع مشابه
ar X iv : 0 80 9 . 24 94 v 5 [ m at h . L O ] 1 S ep 2 00 9 Coherence for Modalities
Positive modalities in S4, S5 and systems in their vicinity are investigated in terms of categorial proof theory. Coherence and maximality results are demonstrated, and connections with mixed distributive laws and Frobenius algebras are exhibited. Mathematics Subject Classification (2000), Primary : 03B45, 03G30, 18C15, Secondary : 03F07, 03C05, 08C05, 18A15, 18A40, 18B10, 18C10, 18C20
متن کاملar X iv : 0 90 7 . 41 78 v 1 [ m at h . PR ] 2 3 Ju l 2 00 9 An Introduction to Stochastic PDEs
2 Some Motivating Examples 2 2.1 A model for a random string (polymer) . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2 2.2 The stochastic Navier-Stokes equations . . . . . . . . . . . . . . . . . . . . . . . . . . . 3 2.3 The stochastic heat equation . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4 2.4 What have we learned? . . . . . . . . . . . . . . . . . . . . . ...
متن کاملar X iv : 0 80 4 . 13 55 v 1 [ m at h . G T ] 8 A pr 2 00 8 METABELIAN REPRESENTATIONS , TWISTED ALEXANDER POLYNOMIALS , KNOT SLICING , AND MUTATION
Given a knot complement X and its p–fold cyclic cover Xp → X, we identify twisted polynomials associated to GL1(F[t]) representations of π1(Xp) with twisted polynomials associated to related GLp(F[t]) representations of π1(X) which factor through metabelian representations. This provides a simpler and faster algorithm to compute these polynomials, allowing us to prove that 16 (of 18 previously ...
متن کاملar X iv : 0 90 4 . 21 99 v 1 [ m at h . L O ] 1 4 A pr 2 00 9 Independence - revision and defaults ∗
We investigate different aspects of independence here, in the context of theory revision, generalizing slightly work by Chopra, Parikh, and Rodrigues, and in the context of preferential reasoning.
متن کاملar X iv : 0 90 3 . 13 67 v 1 [ m at h . L O ] 7 M ar 2 00 9 Size and logic ∗
We show how to develop a multitude of rules of nonmonotonic logic from very simple and natural notions of size, using them as building blocks.
متن کامل